Formal semantics - Turkish English Dictionary